منابع مشابه
Towards computer aided mathematics
In his autobiography1 Bertrand Russell characterizes mathematics as follows: “It seems to me now that mathematics is capable of an artistic excellence as great as that of any music, perhaps greater; not because the pleasure it gives (although very pure) is comparable, either in intensity or in the number of people who feel it, to that of music, but because it gives in absolute perfection that c...
متن کاملTowards a Computer - Aided Process
Today, the development of large software systems is very diicult to manage. Traditional tools do not address the issue of designing and improving the development process as a whole while methods that do address this issue are, in general, not supported by tools. This paper presents a set of services that a Computer-Aided Process-Engineering (CAPE) system might ooer. We also describe various lev...
متن کاملTowards a Computer Aided Toxicology
If the classical paradigm of toxicology has been used for centuries, recent toxicological findings, soaring experimental costs and an increasing regulatory pressure have led the toxicology community towards mechanistic toxicology. This new area of research, focused on molecular envents underlying the toxicity of a chemical substance, motivates the emergence of new modelling approaches for toxic...
متن کاملTowards Computer-Aided Linguistic Engineering
Le langage de spdcification fomlelle est fond6 sur les structures de traits typ6s. La r6utilisation de spdcifications linguistiques est favoris6e par l'organisation de ces sp6cifications darts un style par objets, en plusieurs niveaux de sp6cificit6 croissante. Ce langage est suffisement puissant pour pouvoir d6crire tout type d'objet linguistique, et a l'avantage d'utiliser une notation largem...
متن کاملAn Overview of Computer Aided Design/Computer Aided Manufacturing (CAD/CAM) in Restorative Dentistry
Objective: To review the current knowledge of CAD/CAM in dentistry and its development in the mentioned field. Sources: An electronic search was conducted across Ovid Medline, complemented by manual search across individual databases, such as Cochrane, Medline and ISI Web of Science databases and Google Scholar for literature analysis on the mentioned topic. The studies were reviewed thoroughly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2006
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.10.001